this paper studies pull-in behavior of a bio-mass sensor with a cantilevered cnt actuated electrostatically considering rippling deformation. although this phenomenon can change the behavior of cnt remarkably, its effect on the performance of a cnt-based mass sensor is not investigated yet. this investigation is based on modified euler-bernoulli beam theory and rippling effect is entered the eq...

This paper examines the pull-in behavior of a bio-mass sensor with a cantilevered CNT actuated electrostatically by considering rippling deformation. Although this phenomenon can remarkably change the behavior of CNT, its effect on the performance of a CNT-based mass sensor has not been investigated thus far. This investigation is based on modified Euler-Bernoulli beam theory and rippling effec...

The measured drop of the effective bending stiffness of multiwalled carbon nanotubes (MWCNTs) with increasing diameter is investigated by a generalized local quasicontinuum method. The previous hypothesis that this reduction is due to a rippling mode is confirmed by the calculations. The observed ripples result from a complex three-dimensional deformation similar to the Yoshimura buckling patte...

The recent observation of high flexibility in buckled boron nitride nanotubes (BNNTs) contradicts the pre-existing belief about BN nanotube brittleness due to the partially ionic character of bonding between the B and N atoms. However, the underlying mechanisms and relationships within the nanotube remained unexplored. This study reports for the first time the buckling mechanism in multi-walled...

We characterize through large-scale simulations the nonlinear elastic response of multiwalled carbon nanotubes (MWCNTs) in torsion and bending. We identify a unified law consisting of two distinct power law regimes in the energy-deformation relation. This law encapsulates the complex mechanics of rippling and is described in terms of elastic constants, a critical length scale, and an anharmonic...

Rippling is a special type of rewriting developed for induct-ive theorem proving. Bundy et. al. have shown that rippling terminates by providing a well-founded order for the annotated rewrite rules used by rippling. Here, we simplify and generalize this order, thereby enlarging the class of rewrite rules that can be used. In addition, we extend the power of rippling by proposing new domain depe...

Under torsion and beyond the buckling point, multi-walled carbon nanotubes MWCNTs develop a periodic wave-like rippling morphology. Here, we show that torsional rippling deformations can be accurately described by a simple sinusoidal shape function. Combining this observation with the geometry optimization, we develop an effective coarse-grained model that reproduces the complex nonlinear mecha...

Rippling is a special type of rewriting developed for inductive theorem proving Bundy et al have shown that rippling terminates by providing a well founded order for the annotated rewrite rules used by rippling Here we simplify and generalize this order thereby enlarging the class of rewrite rules that can be used In addition we extend the power of rippling by proposing new domain dependent ord...

Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure that is decreases with each rewrite step. Because of this restriction, rippling will fail to prove theorems about, for example, mutual recursion as steps that temporarily increase the differences are necessary. Best-firs...

We present an automatic method which combines logical proof search and rippling heuristics to prove speciications. The key idea is to instantiate meta-variables in the proof with a simultaneous match based on rippling/reverse rippling heuristic. Underlying our rippling strategy is the rippling distance strategy which introduces a new powerful approach to rippling, as it avoids termination probl...